#ifndef HAL_BOOT_H_
#define HAL_BOOT_H_


extern void hal_boot_start(void);

#endif /*HAL_BOOT_H_*/
